Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔢 Philosophy of Mathematics
Foundations, Intuitionism, Constructivism, Mathematical Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8961
posts in
162.5
ms
Definability
and
Interpolation
in Philosophy
arxiv.org
·
1d
🔁
Fixed-Point Theory
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
1d
·
Discuss:
Hacker News
🧠
Automated Reasoning
OK, what's the difference between
coherence
and representation
theorems
?
lesswrong.com
·
1d
≤
Order Theory
Mathematicians
disagree
on the essential structure of the complex numbers
infinitelymore.xyz
·
23h
·
Discuss:
Hacker News
➡️
Category Theory
LLMs
Views
on
Philosophy
2026
lesswrong.com
·
23h
📵
Digital Minimalism
Software as a tool, not an end in itself: A
plea
for more domain
expertise
heise.de
·
1h
·
Discuss:
Hacker News
🔧
DevOps
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
1d
🧮
Lambda Calculus
V.I.
Arnold
, On teaching
mathematics
karlin.mff.cuni.cz
·
3d
·
Discuss:
Hacker News
➡️
Category Theory
Apple is
officially
working on a
sequel
to F1: The Movie
9to5mac.com
·
1h
🍎
Apple
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
1d
·
Discuss:
Hacker News
➡️
Category Theory
PROFS
: The Office Suite of the
1980s
hackaday.com
·
53m
💾
Retro Computing
Instagram, YouTube, TikTok, and more agree to be
graded
on mental health
impacts
9to5mac.com
·
1h
📵
Digital Minimalism
The Covenant of the 12th Hour: The Human as the Infinite Variable By
Adel
Abdel-Dayem
The Architect of the Human-AI Singularity
future.forem.com
·
3d
·
Discuss:
DEV
🔲
Cellular Automata
Togelius
:
Math
and me
togelius.blogspot.com
·
1d
·
Discuss:
Hacker News
➡️
Category Theory
Kiro
: DeepSeek,
MiniMax
, and Qwen now available as open weight model options
kiro.dev
·
19m
·
Discuss:
Hacker News
📦
Unikernel Systems
lean-phys-community/PhysLean
: A project to
digitalise
results from physics into Lean.
github.com
·
1d
·
Discuss:
Hacker News
💎
Refinement Types
Making
Sense
of
Entropies
dpaletti.com
·
2d
·
Discuss:
Hacker News
⚡
Process Calculi
Databases should
contain
their own
Metadata
floedb.ai
·
18m
·
Discuss:
Hacker News
🎯
GADT
Stablecoins
for
Skeptics
news.alvaroduran.com
·
42m
·
Discuss:
Hacker News
🛡️
macOS Security
Will China’s Social
Volcano
erupt
?
pekinghotel.substack.com
·
58m
·
Discuss:
Substack
📵
Digital Minimalism
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help